TSTP Solution File: ITP253^2 by Nitpick---2016